Fundamental concept in metalogic, and the term may be used without qualification with differing meanings depending on the context within mathematical logic.
See moreAccordance of reality and its representation; state or condition of being complete; state in which nothing needs to be added.
(In the mathematical area of order theory) completeness properties assert the existence of certain infima or suprema of a given partially ordered set (poset)
See more